OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge
نویسنده
چکیده
In this paper we present an extension OMDoc to the OpenMath standard that allows to represent the semantics and structure of various kinds of mathematical documents, including articles, textbooks, interactive books, courses. It can serve as the content language for agent communication of mathematical services on a mathematical software bus.
منابع مشابه
Assessment of knowledge, attitude and computer skills of the faculty members of Isfahan University of Medical Sciences in regard to the application of computer and internet in medical education
Introduction. Today, computer and information technology serve an increasingly important role in medical education. Since the faculty members have an essential role in medical education, this study was designed to assess their knowledge, attitude and computer skills. So, the results of this survey would help us to identify and manage the problems in the way of proper application of computer an...
متن کاملProblems and Solutions for Markup for Mathematical Examples and Exercises
This paper reports some deficiencies of the current status of the markup for mathematical documents, OMDoc, and proposes extensions. The observations described arose from trying to represent mathematical knowledge with the goal to present it according to several wellestablished teaching strategies for mathematics through the learning environment ActiveMath. The main concern here is with example...
متن کاملAssessment of Knowledge, Attitude and Computer Skills of the Faculty Members of Isfahan University of Medical Sciences in Regard to the Application of Computer and Information Technology
Introduction. Today, computer and information technology serve an increasingly important role in medical education. Since the faculty members have an essential role in medical education, this study was designed to assess their knowledge, attitude and computer skills regarding the application of computer and information technology in medical education. Methods. A cross-sectional survey with str...
متن کاملTowards a Mizar Mathematical Library in OMDoc Format
Mizar is one of largest libraries of formalized mathematics. The language of the library is highly optimized for authoring by humans. Like in natural languages, the meaning of an expression is influenced by its (mathematical) context in a way that is natural to humans, but hard to specify for machine manipulation. From this point of view, it may be considered as locked up in an arcane file form...
متن کاملEFL Teachers’ Understanding of the Teaching Portions of INSET Programs
This study aimed to identify the portions of teaching materials for English classes in Iran’s high schools. The efficiency of these materials was evaluated by (a) eliciting the teachers’ perception of the materials to identify their distribution portions and (b) studying the teachers’ satisfaction to identify whether the materials were successful to develop the EFL teachers’ knowledge and skill...
متن کامل